Elaborating dependent (co)pattern matching
نویسندگان
چکیده
منابع مشابه
Sets with dependent elements: Elaborating on Castoriadis’ notion of ‘magma’
In his seminal work [2], C. Castoriadis1 is concerned, among many other things, with the way collections of things are presented to (or created by) human mind. In particular, he aims at making us rethink of the “self-evident” belief of western rationalistic tradition that a collection needs always to be a collection of distinct, definite and ontologically independent elements. (Recall Cantor’s ...
متن کاملElaborating the Profiles
CONCEPTUAL FRAMEWORK This special issue addresses the questions: What is the role and impact of Information and Communications Technology (ICT) on the process of internationalization in higher education? How is this internationalization process related to general models of change that are in motion? In particular, the articles in this special issue explore how the use of ICT influences the futu...
متن کاملElaborating Domain Descriptions
In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a general method based on contraction of formulas in a version of propositional dynamic logic with an incorporated solution to the frame problem. We present the semantics of our theory change and define syntactical operators for contr...
متن کاملElaborating on the alias calculus
In this research-in-progress report, we elaborate on the alias calculus introduced in [1], [2]. The alias calculus is to determine whether two reference expressions at the given program point may address the same object at the run-time (in other words, whether one expression may be an alias of the other expression). The main intended application of the alias calculus is to support deductive ver...
متن کاملElaborating Inductive Definitions
We present an elaboration of inductive definitions down to a universe of datatypes. The universe of datatypes is an internal presentation of strictly positive types within type theory. By elaborating an inductive definition – a syntactic artefact – to its code – its semantics – we obtain an internalised account of inductives inside the type theory itself: we claim that reasoning about inductive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2018
ISSN: 2475-1421
DOI: 10.1145/3236770